Assessment of thermodynamic models for the design, analysis and optimisation of gas liquefaction systems. (1st December 2016)