definition of mining and components of nigerian mining industry