Computable General Equilibrium Models in Economics: A Survey on Theoretical Foundations and Applications