Is LED lighting, which is praised for its low energy consumption, actually making light pollution worse?