Analysis and modeling of active occupancy of the residential sector in Spain: An indicator of residential electricity consumption