Aggregated electricity demand of Ithaca, NY with heating electrification and envelope improvements (unit: GWh)