of mining to economy developments in nigeria