Bounding convex relaxations of process models from below by tractable black-box sampling. (October 2021)