Norway’s warship order is a boost for Britain’s defence industry