San Jose shooting: Victims named after rail employee kills nine