Use priority queue in dijkstra.cc.