Characterization of astrocyte density in the Pitt-Hopkins Syndrome mouse model of ASD