Brazil could collect up to 3 billion reais via 5G auction, says regulatory official