Nonlinear Model Predictive Control and System Identification for a Dual-hormone Artificial Pancreas — arXiv2