Select on_demand pools randomly

[praiskup]

If they have the same priority.

[praiskup]

Currently, two pools that provide us with aarch64 machines are struggling to allocate resources. Since these two pools are listed first in the pools.yaml file, they are always preferred. If only two tickets come in (we have max_starting=1 in each pool), the third pool, which actually works, is never tried.