mining and quarring sector of the nigerian economy