DAE-EKF-Based Nonlinear Predictive Control of Reactive Distillation Systems Exhibiting Input and Output Multiplicities