A Critical Edition of Ibn al-Haytham’s On the Shape of the Eclipse