An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models