How Computer Science Informs Modern Auction Design