Śrāvastī, city of