Nonlinear Model Predictive Control for an Artificial β-cell