Bayesian methods for source attribution using HIV deep sequence data