Vacancies and Formation Energies