Machine Translation for Human Translators