An efficient algorithm for building a distributional thesaurus (and other Sketch Engine developments)