‘This is not a drill’: Fired city worker massacres former coworkers, shooting 12 dead