I am getting confused when using nrf_gpio_cfg_input(PIN_12,NRF_GPIO_PIN_PULLDOWN) should i keep it as NRF_GPIO_PIN_PULLDOWN,PULLUP or should i use NRF_GPIO_PIN_SENSE_HIGH. I want to connect a button to pin 12 and depending on whether it is high or low switch on an led conncted to PIN 14.