A Bayesian approach for estimating vehicle queue lengths at signalized intersections using probe vehicle data. (December 2019)