A General Equilibrium Approach to Carbon Permit Banking