the types of mining machinery