Model Predictive Control of an Unmanned Quadrotor Helicopter: Theory and Flight Tests