English-Spanish translation strategies based on the quantitative analysis of formal and conceptual reformulation procedures in the semi-specialized text; [Estrategias de traducción Inglés-Español Basadas en el análisis cuantitativo de procedimientos de re