mining in the state of indiana