materials and equipment for mining