ocean mixing time scale