钠与二氧化炭反应的化学式是什么