Operator says Russian Nord Stream 1 pipeline resumes gas flow