International tourism reached 84% of pre-pandemic levels in first half of 2023