二氧化碳转化成氢气体化学式是什么