Vertical mixing in the ocean