Modeling and OR software: Introduction