目前（年前后）全球市场占有率第二，欧洲市场占有率第一的计算机辅助翻译工具为（）