types of machine used in mining