ONGC first Indian Exploration & Production company to trade domestic gas on Indian Gas Exchange