Vacancy formation energies from positron trapping measurements