Algorithms for a Closed-Loop Artificial Pancreas: The Case for Model Predictive Control. (November 2013)