When was ʿAbd al-Malik ibn Marwān ibn al-Ḥakam born?