A stabilizing model-based predictive control for nonlinear systems