Modelling the evolution of overlying karst collapse based on the discrete element method | IEEE Conference Publication | IEEE Xplore