How Long Should a Refrigerator Run? Optimal Cycle Times