电解熔融氧化铝制备铝的方程式是什么?