煤矿其他从业人员应当具备（ ）及以上文化程度。