the devbelopment of the mining sector in nigeria