Gravar-mail: A Composite Model of Glucagon–Glucose Dynamics for In Silico Testing of Bihormonal Glucose Controllers