Virginia Beach police say gunman was disgruntled city engineer