An Open Traffic Light Control Model for Reducing Vehicles' CO₂ Emissions Based on ETC Vehicles | Synapse