Statistics of Translating and Interpreting Ibn al-Haytham’s Optics from Arabic to Latin: New Light on the Vocabulary of Reflection and Refraction