Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints