Rio Tinto resumes copper exports from giant Mongolia mine after short protest