What are the trade-offs between using a Real-Time Operating System (RTOS) versus a bare-metal implementation for high-precision machinery at ASML?