Synchronous Tree Sequence Substitution Grammar for Statistical Machine Translation: Synchronous Tree Sequence Substitution Grammar for Statistical Machine Translation