arlington is part of virginia