工业治炼铝的化学方程式是还有铝与氢氧化钾荣液反应的离子方程式