电解铝时提炼一吨铝需要多少度电?