A brief history of auctions