mining-driven industrialization