Stochastic simulation of residential building occupant-driven energy use in a bottom-up model of the U.S. housing stock.