Translation Quality and Effort: Options versus Post-editing