A Comparison of Methodologies in Empirical General Equilibrium Models of Taxation