How much can a building's carbon footprint be reduced by switching to LEDs