A determination of the formation energy of vacancies in sodium chloride by quenching