Energy-Optimal Velocity Planning for Connected Electric Vehicles at Signalized Intersection with Queue Prediction | IEEE Conference Publication | IEEE Xplore