Segmental genomic replacement in embryonic stem cells by double lox targeting.