Electrophysiological phenotyping in genetically engineered mice.