On the Szego kernel of Cartan--Hartogs domains