raspberry pi pico rotary encoder