Which cooking fat is used to make the cookie dough?