What is a random number generator?