al-Kindī, Latin Translations of