Estimation of HIV prevalence and burden in Nigeria: a Bayesian predictive modelling study | Synapse