Miles de personas despiden en Villablino los mineros fallecidos