Gravar-mail: A mathematical model of murine metabolic regulation by leptin: energy balance and defense of a stable body weight