Energy-saving LEDs boost light pollution worldwide