cost per ton mining coal