mining components of mining industry