Pair potentials from band theory: Application to vacancy-formation energies | Synapse