Vehicle Travel Time Distribution Estimation And Map-Matching Via Markov Chain Monte Carlo Methods