Case studies of height structure of TID propagation characteristics using cross-correlation analysis of incoherent scatter radar and DPS-4 ionosonde data