mining and quarying in africa