采空区处理技术及其发展概况