InterVA-4 as a public health tool for measuring HIV/AIDS mortality: a validation study from five African countries.