Explaining the Quranic verse referring to stars pelting devils