A finite-state framework for log-linear models in machine translation