A Sup-Function Approach to Linear Semi-Infinite Optimization