Default translation model to GPT-5 Mini.

Because input tokens are cheaper than with GPT-4.1 Mini. It should also improve translation quality due to the newer GPT-5 model.

You can still change the translation model at any time if you prefer another option.