Faster Algorithms for Mining Shortest-Path Distances from Massive Time-Evolving Graphs