Mining and the State in Brazilian Development (Perspectives in Economic and Social History)