Average Pause Ratio as an Indicator of Cognitive Effort in Post-Editing: A Case Study · Study