Mining and the State in Brazilian Development