hour light/12 hour dark cycle. Assignments to groups (experimental vs. control, comparisons between genotypes) were performed to achieve age-matched groups of littermates/colonymates with shared housing and were otherwise random. All mice used for experiments were healthy, free of drug exposure, and had not undergone any previous procedures. Details on the ages and sexes of mice used for experiments are provided in the relevant sections below.