Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431)