the types of coal mining machine