Real-time alerting for industrial gas leaks