Identification of Counterfactuals in Dynamic Discrete Choice Models