Theoretical Simulation and Experimental Study on Effect of Vacuum Pre-Cooling for Postharvest Leaf Lettuce