Behavioral phenotype analysis highlights sleep heterogeneity and brain cellular activations in a mouse model of PTSD | Synapse