The University of Michigan shapes Ann Arbor's economy significantly. What is the employee count of the University of Michigan