Hiv-haplotype inference using a constraint-based dirichlet process mixture model