除了鲁奇炉，还有哪些气化技术已经实践证实（有工业化业绩或中试成功）适合用于无烟煤、贫煤等高阶煤的气化？