Gravar-mail: Designing strategies for eliminating HIV in sub-Saharan Africa by mapping the geographic dispersion pattern of HIV-infected individuals