Key Russian pipeline resumes pumping gas to Europe