Nested Simulations: Theory and Application