Moschea Blu di Istanbul, Santa Sofia e Cisterna di Teodosio