Human Feedback in Statistical Machine Translation