al-Ḥassan Ibn al-Hay'tham