生产一吨金属铝，理论上需要氧化铝（）公斤。