A much smaller number of people are insensitive to pain due to an inborn abnormality of the nervous system, known as "congenital insensitivity to pain". What gene is responsible for coding for a sodium channel necessary for conducting pain nerve stimuli?