电子发展基金促进矿井实现信息化