Hagia Sophia, Istanbul, Turkey, c.532-537, Anthemius of Tralles and Isodorus of Miletus, architects. vault geometry