Executive Summary - Survey on the use of information and communication technologies in the Brazilian public sector : ICT Electronic Government 2023 - Cetic.br (2024)