Effects of size-dependent sediment mixing on deep-sea records of the Paleocene-Eocene Thermal Maximum