Measurements with the resonant gravitational wave detector EXPLORER during the gamma-ray burst 980425