Collaborative development of multilingual thesauri with VocBench (System description and demonstrator)