Gastos de turistas no Brasil em 2023 superam ano de Copa e chegam a US$ 6,9 bilhões, diz governo