Automating the Computation of Solutions of Large Economic Models