Gasto de turistas internacionais no Brasil cresce 12% no primeiro semestre