main equipment used in mining