A basic theory of auctions