Thermodynamic modelling of the M6C carbide in cemented carbides and high-speed steel