Definition of pasteurization in microbiology