The mining industry is one of the biggest in the world. Because of the industrialization, the need for coal and other earth product is increasing. So the mining companies need to increase their productivity. Thank you for the news related to mining industry.