Putting Auction Theory to Work