Petrovietnam Gas JSC: Key oil company misses first-half targets