PIB do RS cresce 1,2% no terceiro trimestre do ano