Generation and characterization of a mouse model for a sodium channel by D. Nuyens