Roma dovrà versare a ciascun migrante 5 mila euro per “danni non pecuniari” e altri 4 mila per le spese legali