The Pruned State-Space System for Non-Linear DSGE Models: Theory and Empirical Applications