Tax analysis in a real business cycle model: on measuring Harberger triangles and Okun gaps