The Art of Randomness (Randomized Algorithms in the Real World)