Randomness, probability, and simulation