Oxidation of a Ni-Cr-Al alloy at 850 C in air containing HCl gas