Eureka and beyond: mining's impact on African urbanisation