mining machinery inchmining machinery include