The CAF Auction: Design Proposal, with A. Eilat, July 2011. (Proposal to the FCC.)