What is the realistic range of prices of LEDs when purchased in bulk by e.g. flashlight manufacturers?