Gastos de estrangeiros no Brasil são recorde e setor do turismo comemora