detailed process of coal mining