Genotyping of a Dyrk1a conditional mutant mice