Creating individual level air pollution exposures in an anonymised data safe haven: a platform for evaluating impact on educational attainment