International use of the euro remained broadly stable in 2023