Describir: <A> model base for identifying mathematical programming structures.