Simple groups, permutation groups, and probability