三氧化二铝与碳酸钠反应生成什么