Haploinsufficiency of ATP1A2 encoding the Na+/K+ pump α2 subunit associated with familial hemiplegic migraine type 2