ATP1A3 and alternating hemiplegia of childhood: The current Atp1a3 mouse models recapitulate to a large part the symptoms of RDP and AHC.