haplotype inference