use of machines for methods of mining