Micro-LEDs boost random number generation