Virginia Beach gunman identified as longtime city employee