A combined first-principles calculation and thermodynamic modeling of the F–K–Na system