Application of a finite element method to stress distribution in buried patch repaired polyethylene gas pipes