The FCC says it raised more than $22.5 billion for midband spectrum that previously had been used by the military.