things to do in case of mine fire