random_element_generator_reservoir_sampling Reservoir sampling of iterable stream of unknown length or too large for memory