Koopman-Based Reduced Order Controller Design for Quadrotors