An implementation of Dijkstra's algorithm in JavaScript