ATP1A2 and familial or sporadic hemiplegic migraine: Atp1a2+/− is a model mouse of familial hemiplegic migraine type 2.