Empedocles mixture eudoxan astronomy door Reiche