Polish operator detects leak in pipeline that carries oil from Russia to Europe