Probe Design for Genotyping