An Improved Tight Closure Algorithm for Integer Octagonal Constraints