Thermodynamic analysis of the W–Co–Cr system supported by ab initio calculations and verified with quaternary data