democritus history