Model predictive control of type 1 diabetes: An in silico trial