Density functional theory calculations of solid state-assisted diffusion and positron lifetime in Al-Mg models | Synapse