Atividades de turismo crescem o dobro do setor de serviços nos 12 meses até maio, diz IBGE