Gravar-mail: Fast and accurate haplotype frequency estimation for large haplotype vectors from pooled DNA data