Shop Scheduling Benchmark Problems