mining equipment population in africa