sejarah penambangan