Seol mar théacs é seo: Was Brazil’s Internet infrastructure prepared for the pandemic?