Thermodynamics on formation of C, Al4C3 and Al2O3 in AlCl