A 25 micron search for Vega-like disks around main-sequence stars with ISO