History, trends, and extent of pasteurization.