Divergence-based fine pruning of phrase-based statistical translation model. (January 2017)