Geometry and dioptrics in classical Islam