ATP1A1-linked diseases require a malfunctioning protein product from one allele