Targeting vector construction and generation of knockout mice