Why Wind Turbines Have That Shape: The Aerodynamics, Betz Limit, and Engineering Design of Giant Machines