Mathematical modeling of the aerodynamics of high-angle-of-attack maneuvers