Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra