Research on the model test system of shaft lining interacting with enclosure rock under deep and high water pressure | IEEE Conference Publication | IEEE Xplore