Redundancy in Mathematical Programming