A Machine Learning Method for Predicting Traffic Signal Timing from Probe Vehicle Data