Internet users and meaningfully connected individuals in Brazil, by municipality size and socioeconomic status (2023)