焦炭是煤的什么产物?作用是什么?制取水煤气的化学方程式