What is the diameter of the hole for the led?