semi-infinite linear programming