Executive Summary - Survey on the Internet service provider sector in Brazil : ICT Providers 2020 - Cetic.br (2021)