Construction of the targeting vector and generation of Ptdsr-knockout and gene-trap mice