mining history