工业上冶炼金属钠的方程式是什么?