Virginia Beach shooter was city employee