what sort of materials are used in the mining industry