铝合金材料中的铝是通过电解氧化铝得到铝和氧气的化学方程式