Combining international cap-and-trade with national carbon taxes