Input-to-state Stability for Nonlinear Model Predictive Control