Machine Translation and Translation Theory