the contribution of mining sector to the nigerian economy