Specifying Big Data Benchmarks