Mixing and turbulence in the ocean