Reducing CO₂ emissions with faster software