Berezin–Engliš’ quantization of Cartan–Hartogs domains