Qur’anic studies and historical-critical philology: the Qur’an’s staging, penetrating, and eclipsing of biblical tradition