How do Operations Researchers benefit from the OPL modeling capabilities offered by IBM CPLEX Optimization Studio?