Real-time genotyping with oligonucleotide probes containing locked nucleic acids