Safe Model Predictive Control Formulations Ensuring Process Operational Safety