Receding Horizon Control for Discrete Nonlinear Systems with Input and State Constraints