Deep coal mines