Is the road to good health paved in gold? HIV and mining in Sub-Saharan Africa. (30th September 2020)