The Unity of Auction Theory