Altering mice by homologous recombination using embryonic stem cells.