Segundo dados do Instituto Brasileiro de Geografia e Estatística (IBGE) do último censo realizado em 2022, qual a população de Bombinhas?