Trabajadores atrapados en un túnel son rescatados tras 17 días