Sultan Mahmut I library in Hagia Sophia