The airwaves sell-off raised £1.3bn for the UK government.