historical mining