SPTTE: A Spatiotemporal Probabilistic Framework for Travel Time Estimation