The Rural Digital Opportunity Fund auction has wrapped up, setting the stage for $9.23 billion in subsidies to be doled out over the next decade