An implementation of Dijkstra's Algorithm using Bianry Heaps