Counterfactual Analysis for Structural Dynamic Discrete Choice Models