Bayesian inference of virus evolutionary models from next-generation sequencing data