Integration of Statistical Models for Dictation of Document Translations in a Machine-Aided Human Translation Task