The old, dirty, creaky US electric grid would cost $5 trillion to replace. Where should infrastructure spending go?