Salaries of Arlington County government employees who earn more than $100,000 per year.