electrolysis of aluminium oxide equation