Firedamp Explosion during Tunneling Operations: Suggestions for a Prevention Through Design Approach from Case Histories