用电解法怎么冶炼金属铝?