Integer Polynomial Optimization In Fixed Dimension