Microbial decontamination of food by high pressure processing