Zaslat SMS: Statistical thermodynamics of vacancies in binary alloys.