The formula of aluminium oxide is Al2O3. If aluminium forms its chloride, what will be the formula of that compound?