Development of support system using pipe-jacking for the roof of the large caverns