Bayesian haplotype-based polymorphism discovery and genotyping.