Text this: Las TIC como mediadores en procesos de formalización matemática en estudiantes de básica secundaria