Data-driven optimal control for safe quadrotor navigation in windy environments