engineered mice Electrophysiological phenotyping in genetically