Chile’s Codelco reports mudslide at El Teniente mine; three workers affected