When were some of the Arabic translations of earlier sentences translated into Latin