Describir: Recent Advancements in Commercial Integer Optimization Solvers for Business Intelligence Applications