工业上电解氧化铝制取金属铝的化学方程式2Al ₂O ₃ 4Al+3O ₂↑ 电解20t氧化铝最多可生产多少吨铝？（写出必要的计算过程，计算结果精确到0.1t）