煤矿企业应建立（）。