Probabilistic travel time progression and its application to automatic vehicle identification data. (November 2015)