Raspberry Pi Pico Project: Turn on an LED using a button