Ventilation and protective measures against mine fires