which gas is produced during processing of coal