Which PHP function sets a cookie whose value does not get URL encoded when sending it to the browser?