High-throughput genotyping