An Efficient Cluster Expansion Method for Binary Solid Solutions: Application to the Halite-Silvite, NaCl-KCl, System