European gas prices push to four-month highs as Norway oil workers strike