A comprehensive framework for modeling building occupancy: technologies, methods, and research challenges | Synapse