Wiring digital input pins with pushbuttons