High-Pressure Carbon Dioxide Used for Pasteurization in Food Industry