Adaptive batching for Gaussian process surrogates with application in noisy level set estimation. (16th October 2021)