Large-Scale Benchmarks for the Job Shop Scheduling Problem