Police say gunman who killed Virginia Tech police officer took his own life