Bayesian methods in health technology assessment: application to overactive bladder syndrome