Smart Cities and the 2030 Agenda for Sustainable Development: considerations on public libraries’ role in Brazilian National Policy on Smart Cities (Integrating Information Science for Sustainable Development: Topics and Trends, 2025)