A Mathematical Model of the Human Sleep Wake System