Some Norway oil workers to strike from July 5, hitting 4% of output