Real-Time Predictive Speed Control for Eco-Driving at Signalized Intersections Considering Queue Constraints