Modeling the inactivation of Bacillus subtilis spores by ethylene oxide processing