Resource shocks, employment, and gender: Evidence from the collapse of the UK coal industry