The potential impact of country-level migration networks on HIV epidemics in sub-Saharan Africa: the case of Botswana