Machine translation of anonymized documents with human-in-the-loop