Gravar-mail: Haplotype inference from unphased SNP data in heterozygous polyploids based on SAT