A probabilistic model of pedestrian crossing behavior at signalized intersections for connected vehicles. (October 2016)