BAC engineering for the generation of ES cell-targeting constructs and mouse transgenes