Tractable Cre-lox system for stochastic alteration of genes in mice