Turbulence modeling of stably stratified wall-bounded flows