A comparison of the theories of qāfiya in Nasīr al-Dīn-i Tūsī and Muhammad-i Āmulī