Auction Research Evolving: Theorems and Market Designs