electrolysis of aluminium oxide half equations