Auction Theory for Computer Networks