Extracting the Science: A Century of Mining Research