Gravar-mail: ‘Leaving no one behind’: reflections on the design of community-based HIV prevention for migrants in Johannesburg’s inner-city hostels and informal settlements