Os agentes da industrialização na República: a prática política dos militares (1930-1942)