Mapping local variation in educational attainment across Africa