fun sampling_random_stratified(n: Int, seed: Int? = null, minSubsample: Int? = null): SamplingOptions