Mixed-initiative natural language translation