Data Structures for the 'Priority Queue' Version of Dijkstra's Algorithm