Optimal Taxation and Economic Depreciation: A General Equilibrium Model with Capital and an Exhaustible Resource