Application of a counter-current gaseous diffusion model to the oxidation of hafnium carbide at 1200 to 1530°C