矸石是指采掘过程中从（）中混入的岩石。