MINING INDUSTRIES