电解铝电解铝是氧化还原反应吗电解氧化铝工业是氧化还原反应吗?