production process of coal mining