Numerical analysis of surface deformation characteristics for highway above mined-out regions | IEEE Conference Publication | IEEE Xplore