全国第一家“产煤不见煤”的煤矿是（）煤矿。