Mais de 7,9 mil domicílios de Santa Maria são usados de forma ocasional, aponta o Censo Demográfico 2022