How Much Information Does a Human Translator Add to the Original?