A coleção matemática para cursos técnicos industriais: a matemática na escola técnica nacional (1942-1965)