How to use an RFID reader with a Raspberry Pi Pico