Syntax-based SMT decoder