Royal procession surrounds Justinian I. as he leaves Hagia Sophia