The impact of heavy-duty vehicle electrification on large power grids: A synthetic Texas case study | Synapse