describe the electrolysis of aluminium oxide