Australian Mobile Sector: 5G spectrum auction, October 2018