实现 Dijkstra 算法,求非负权有向图的最短路径。