an algorithm for finding the shortest paths between nodes in a weighted graph