Datasets and evaluation suites for optimization modeling, solver execution, formulation correctness, and LLM's OR reasoning quality