types of rock cutting machines used in mining industries