Controlling an RGB LED using the Raspberry Pi Pico