Biochemical, phenotypic and neurophysiological characterization of a genetic mouse model of RSH/Smith-Lemli-Opitz syndrome | Synapse