Design of MDIs for Type 1 Diabetes Treatment via Rolling Horizon Cardinality-Constrained Optimisation. Issue 1 (July 2017)