A general framework for minimizing translation effort: towards a principled combination of translation technologies in computer-aided translation