Estimating post-editing time using a gold-standard set of machine translation errors. (May 2019)