Vitalsource Technologies, Inc. Syntax-based Statistical Machine Translation