democritus astronomy