coal mining buildings