Generating random numbers for use in GPUs