[graph-tool] shortest path with distance in a weighted graph