煤与水在高温下反应的化学式