A four-state Markov model of sleep-wakefulness dynamics along light/dark cycle in mice