IndexMinPQ basic requirement achieved.
[algo1] Use IndexMinPQ to implement Dijkstra's algorithm.