Embedded Model Predictive Control With Certified Real-Time Optimization for Synchronous Motors