For centuries, church choirs have not been able to sing in the Hagia Sophia. But now we can hear what they sound like.