Automatic Generation of Residential Thermal Network Models for Predictive Control from Smart Thermostat Data