Testing Different Nonsmooth Formulations of the Lennard–Jones Potential in Atomic Clustering Problems