Koopman Operator Based Modeling and Control of Quadrotors