Hot Tapping Gas Pipeline and Plugging Procedure in Petroleum Industry