Effects of sleep deprivation on sleep and sleep EEG in three mouse strains: empirical data and simulations