Machine translation, history