Text this: Interference management and spectrum sharing in integrated satellite-terrestrial networks: progress, key technologies and future directions