Generation of Trip13-deficient mice.