A conjecture of De Giorgi on the squared distance function