Applications of Integer and Semi-Infinite Programming to the Integer Chebyshev Problem