An analysis of US greenhouse gas cap-and-trade proposals using a forward-looking economic model