Implementation of Dijkstra's Shortest Path Algorithm in ML-Functional Programming