Raspberry Pi GPIO Switch Input - Part 1: Circuitry and Debouncing