Interval Observer-Based Model Predictive Control in the Propofol Delivery Process