seed the random number generator