construction of coal mining