Machine translation post-editing: The smartest translation choice