Interactive visualization of the Floyd-Warshall algorithm for finding shortest paths in weighted directed graphs