Refining global HIV estimates for decision-making: advances in analytic and modelling methods used by the Joint United Nations Programme on HIV/AIDS