A Dynamic Model of the US Energy System