New Constraint Qualification and Optimality for Linear Semi-Infinite Programming