Agronegócio gaúcho exportou US$ 15,8 bilhões em 2023