coal mine auctions. mining developer and operators