Application research on genetic programming in the prediction of mining subsidence | IEEE Conference Publication | IEEE Xplore