which gas is obtained during the processing of coal