Enhancing Statistical Machine Translation with Bilingual Terminology in a CAT Environment