In which city was evidence of pre-Uthmanic Quranic writing discovered in 1972