Holarctic correlation of non-marine Palaeocene–Eocene boundary strata using mammals