different types of coal mining and coal mining machines