THE MINING INDUSTRY