coal mining construction