BioMiCo: a supervised Bayesian model for inference of microbial community structure | Synapse