Failure Analysis of Pipeline Corrosion Perforation in a Gas Mine