High temperature corrosion in gas turbines : thermodynamic modelling and experimental results