Miguel Porcel y Riera, maestro y editor escolar: modernizador de la manualística en el primer tercio del siglo XX