virginia beach is part of virginia