Diffusion of economic shocks in the labor market: Evidence from a mining boom | Synapse