Anacom propõe leilão para atribuir frequências 5G até agosto de 2020