ab initio single defect migration