Determination of gene function by homologous recombination using embryonic stem cells and knockout mice.