Quasi-infinite horizon NMPC for nonlinear discrete-time systems