The gunman who killed 12 people in a Virginia Beach municipal building was identified by police Saturday as a 15-year city employee who had served in the military and was described by neighbors as …