什么是采煤工艺,名词解释定义是?