non-operational coal mines