FCC’s Rural Digital Opportunity Fund Auction Was Supposed to Significantly Reduce America’s Rural Broadband Gap (Benton Institute for Broadband & Society)