tons of lignite would be required to produce the amount of heat generated by one ton of anthracite coal?