A hybrid genetic/interval algorithm for semi-infinite optimization