Describir: On Building a Bilingual Terminology Corpus from the Perspective of Human-machine Collaborative Translation