Combination of Geophysical and Conventional Boring Methods for the Investigation of an Industrial Building over Abandoned Mining Areas in Zhangqiu