Application of Model-Based Tests for Analysing the Consequences of Mine Fires