what is diethylene glycol used for