Leveraging GPT-4 for Automatic Translation Post-Editing