The pros and cons of the insect repellent DEET