电解制取铝方程式怎么写