PIB do Brasil cresce 0,1% no 3° trimestre de 2023, diz IBGE