What's the difference between formalin and formaldehyde? I've read that formalin is commonly used for chemical sterilization of food processing equipment.