Leilão 5G: Claro, Vivo e TIM terão que levar internet às escolas