Eerste veiling van 5G-frequenties levert 1,23 miljard euro op