Gas pipeline explodes in North Texas