protocols and primers for mouse genotyping