coal gasification — production of syngas from coal