the industrial process of mining