Observer-based closed-loop control for the glucose-insulin system: Local Input-to-State Stability with respect to unknown meal disturbances.