Finds shortest paths from a source vertex to all other vertices in a weighted graph with non-negative edges.