Molten aluminium oxide contains Al3+ and O2− ions. Write balanced half equations for the products at both electrodes.