Ancienne cathédrale, puis mosquée Sainte-Sophie, aujourd'hui musée