Norway’s national oil company profits double to $11.5bn amid war on Iran