Bayesian identification of bacterial strains from sequencing data