operating cost of mining coal