Precise Widening Operators for Convex Polyhedra