Gas chromatographic determination of cholesterol in processed foods