Shortest Paths in Stochastic Time-Dependent Networks with Link Travel Time Correlation · Study