SMS dit: Theory of randomized search heuristics