Terminal region characterization and stability analysis of discrete time quasi-infinite horizon nonlinear model predictive control