写出铝电解阴阳极电化学反应式及总反应式。