The 1972 miners' strike: popular agency and industrial politics in Britain