Teachers' personal network analysis reveals two types of pioneers in educational digitalization: Formal and informal intermediaries at schools | Publicación