Why use scala.util.Random and not ThreadLocalRandom?