Quais são os números de profissionais da saúde de acordo com o IBGE?