Daily life and demand: an analysis of intra-day variations in residential electricity consumption with time-use data