Which one for the first thinkers to form Free will in antiquity was also well-known for formulation of an atomic theory of the universe?