Eerste 5G-veiling moet zeker 900 miljoen euro opbrengen