Optimal Eco-Driving Control of Connected and Autonomous Vehicles Through Signalized Intersections | Synapse