Libya resumes gas exports following clashes