Find shortest paths from a source vertex to all others in a weighted graph.