Optimizing Traffic Lights to Reduce CO2 Emissions