A ton of refrigeration is defined as