三氧化二铝怎么变成单质铝