The University of Virginia Campus Grid: Integrating Grid Technologies with the Campus Information Infrastructure