Understanding the role of random number generators in online casinos