Analysis of bacterial inactivation by intense pulsed light using a double-Weibull survival model