Aristotle's Rewinding Spheres: Three Options and their Difficulties