General Equilibrium Models of Taxation and Government Policies