Norway’s Okea flags jump in revenue as oil, gas prices rise