On the Original Meaning of the Qurʾanic Term al-shayṭân al-rajîm