6 Contrasting terminological variation in post-editing and human translation of texts from the technical and medical domain