world widely used coal mining equipment for coal industry