REDD: A Public Data Set for Energy Disaggregation …