The Great Depression and the Origins of Cardenismo: The Case of the Mining Sector and Its Workers, c. 1927-40