Mice and genotyping