From infeasability certificates towards global optimization of chromatographic processes