They are all chosen randomly. Note that it doesn’t say it’s a different random seed for each individual player. That the sequence is the same for each player was actually a community request that got implemented, because it makes scoring fairer.
That’s pretty obvious for players familiar with the game, the mechanism you are thinking of is called a map refresh.