Data-Driven Leading Vehicle Speed Forecast and Its Application to Ecological Predictive Cruise Control