Optimisation of ham post-process pasteurization: computational model and methods