Gas pipeline in Pune catches fire, no casualties reported