components of the nigerian mining in the industries in lagos