通过电解铝反应来制取铝 制取1吨纯铝需要多少冰晶石?