A mathematical model of type 1 diabetes involving leptin effects on glucose metabolism. (7th November 2018)