Mixing in the ocean interior