An Algorithmic Theory of Simplicity in Mechanism Design