Turbulence Modeling for the Stable Atmospheric Boundary Layer and Implications for Wind Energy