Spherical designs and heights of Euclidean lattices