A Bayesian approach to haplotype-aware de novo genome assembly for polyploid organisms