O Índice de Desenvolvimento da Educação Básica (IDEB) avalia anualmente a qualidade do ensino público no Brasil. Conforme os indicadores educacionais oficiais do IBGE para o ano de 2023, qual foi a nota obtida pela rede pública do Rio Grande do Sul nos anos iniciais do ensino fundamental?