Taxation in General Equilibrium: An Introduction