Hovercraft socp FICO-Xpress GAMS short