Musings on the Portuguese 5G spectrum auction