Gravar-mail: Constrained hidden Markov models for population-based haplotyping