Variational Translation Theory