The revival of the Byzantine church Hagia Irene in Istanbul