在440度高压下,金属钠与二氧化碳反应能生成金刚石(C)和碳酸钠,该反应的化学式是什么?