BenLOC: A Benchmark for Learning to Configure MIP Optimizers