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