Mutational analysis of loxP sites for efficient Cre‐mediated insertion into genomic DNA