Turbulence and mixing in the ocean