Oxygen isotope analyses and deep-sea temperature changes: implications for rates of oceanic mixing