Invariant sets for constrained nonlinear discrete-time systems with application to feasibility in model predictive control