role of mining in industrialization