Real-Time Lexicographic MPC with Online Correction for Intelligent Drill-Bit Rotary Valves in Mud-Pulse Telemetry | Synapse