Deriving compact extended formulations via LP-based separation techniques