Text this: Mapping age- and sex-specifc HIV prevalence in adults in sub-Saharan Africa, 2000–2018