Essays on implementation and auctions