Conceptualizing and measuring "industry resilience": Composite indicators for postshock industrial policy decision-making. (February 2023)