Optimal Eco-Approach Control With Traffic Prediction for Connected Vehicles