Were Nasir al-Din al-Tusi and Al-Ghazali both mathematicians?