煤矿材料库信息管理系统的设计与应用