importance of mining to the economic development of africa