Midway Market Design Workshop: Pragmatic Algorithmic Game Theory