[boost] [graph] Efficiency of index map in dijkstra_shortest_paths