Efficient Sampling For Big Provenance