Bayesian coestimation of phylogeny and sequence alignment