a design model for building occupancy detection using sensor