what are machine used by mining