Generating a random variable with a prescribed distribution function