Seeded random number generator