铝电解过程的主要电化学反应