machinery to increase output in mines