Validation of a mathematical model for predicting high pressure carbon dioxide inactivation kinetics of Escherichia coli spiked on fresh cut carrot