Integer Programming Models In Algorithmic Trading