Identification and counterfactuals in dynamic models of market entry and exit