Modeling occupant behavior in buildings