Come fu costruita Santa Sofia in soli cinque anni?