A university building test case for occupancy-based building automation