国内外几种主要煤制气技术的发展现状及利弊简评