US electricity demand if carbon-intensive sectors are aggressively electrified