A review of time use models of residential electricity demand