Managing System of Coal Mine Safety Monitoring Information Based on Real-Time Requirements