A mathematical model for human thermoregulation