Using auctions to allocate chores