Terrorist attack in Barcelona: 13 dead, dozens injured