Frontline solver optimization problem types