工业上电解氧化铝制取金属铝(化学反应式)