Modeling and Simulation of an Aseptic Flash Cooler for Tomato Concentrate Sterilization