A Thermodynamic Approach to the Corrosion of the Cathode Refractory Lining in Aluminium Electrolysis Cell: Modelling of the Al2O3‐Na2O‐SiO2‐AlF3‐NaF‐SiF4 System