Bayesian estimation of participants’ adherence in an HIV prevention trial using multiple data sources and pharmacokinetic models