Vegetable oil quenchants : calculation and comparison of the cooling properties of a series of vegetable oils