tons of coal have been produced for consumption so far this year.