On Translating Technical Terminology: A Translation Workflow for Machine-Translated Acronyms