Population model of bacterial spores for validation of dynamic thermal processes