Mathematical Model of Metabolism and Electrophysiology of Amino Acid and Glucose Stimulated Insulin Secretion: In Vitro Validation Using a β-Cell Line