Large eddy simulations of stratified turbulence: the dynamic Smagorinsky model