Hagia Sophia in Istanbul: earhquakes and restorations