electricity-demand-mapping Tools for geographic reallocation of estimated hourly US electricity demand.