UUID generator: random version-4 identifiers