Ocean mixing and turbulence