mine developer and operator coal