Decentralized MPC of Nonlinear Systems: an Input-to-State Stability Approach