Norway’s overall oil, gas output lags forecast in July