请解释一下「井下空硐测量」这个词的含义。