Norway is discontinuing FM radio