Explicit Nonlinear Model Predictive Control: Theory