Data-driven Nonlinear Model Reduction using Koopman Theory: Integrated Control Form and NMPC Case Study