A modeling framework for optimization-based control of a residential building thermostat for time-of-use pricing. (15th May 2019)