Quantification of HVAC Energy Savings for Occupancy Sensing in Buildings: Hardware and Software